แท็ก: การอนุมานแบบนิรนัย ตัวอย่าง